001 /*
002 * Created by IntelliJ IDEA.
003 * User: Wei Wang
004 * ACL Lab, School of Computer Science, Montreal, QC
005 * Date: 2002-9-2
006 * Time: 13:44:53
007 */
008 package EVolve.util.batchutils;
009
010 import java.util.HashSet;
011
012 public class BatchInfo {
013 private HashSet traceFileList;
014 private String strConfigureFile;
015
016 public BatchInfo() {
017
018 }
019
020 public void setTraceFileList(HashSet input) {
021 traceFileList = (HashSet)input.clone();
022 }
023
024 public HashSet getTraceFileList() {
025 return traceFileList;
026 }
027
028 public void setConfigureFile(String filename) {
029 strConfigureFile = filename;
030 }
031
032 public String getConfigureFile() {
033 return strConfigureFile;
034 }
035 }